Combinatory logic - PDFSEARCH.IO - Document Search Engine

Combinatory logic
Results: 540

#	Item
181	A Monadic Approach for Avoiding Code Duplication when Staging Memoized Functions ∗ Kedar Swadi † Walid Taha Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2006-01-29 08:17:09 Functional programming Lambda calculus Adjoint functors Theoretical computer science Combinatory logic Memoization Fixed-point combinator Monad Combinator library Software engineering Computing Declarative programming
182	Zenon Modulo: When Achilles Outruns the Tortoise using Deduction Modulo? David Delahaye1 , Damien Doligez2 , Frédéric Gilbert2 , Pierre Halmagrand1 , and Olivier Hermant3 1 Add to Reading List Source URL: bware.lri.fr Language: English - Date: 2014-09-27 11:16:17 Logic in computer science Unification First-order logic Combinatory logic Rewriting Model theory Axiom Mathematical proof Peano axioms Logic Mathematics Mathematical logic
183	A Variadic Extension of Curry’s Fixed-Point Combinator Mayer Goldberg ()∗ Department of Computer Science Ben Gurion University, Beer Sheva 84105, Israel Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:29 Lambda calculus Subroutines Recursion Higher-order functions Functional programming Fixed-point combinator Variadic function Combinatory logic Fold Software engineering Computing Declarative programming
184	A Rewrite System for Strongly Normalizable Terms Olivier Hermant1 and Ronan Saillard1,2 1 2 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-02-16 03:50:46 Logic in computer science Proof theory Symbol Function Lambda calculus Combinatory logic Natural deduction Mathematics Mathematical logic Theoretical computer science
185	[hal, v1] Zenon Modulo: When Achilles Outruns the Tortoise using Deduction Modulo Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-01-28 10:05:43 Logic in computer science Unification First-order logic Combinatory logic Rewriting Model theory Axiom Mathematical proof Peano axioms Logic Mathematics Mathematical logic
186	The Subject Reduction Property in the λΠ-calculus modulo Ronan Saillard MINES ParisTech Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-01-06 09:50:21 Mathematics Lambda calculus Formal languages Symbol Rewriting Simply typed lambda calculus Combinatory logic Natural deduction Curry–Howard correspondence Theoretical computer science Logic in computer science Applied mathematics
187	PDF Document Add to Reading List Source URL: people.math.aau.dk Language: English - Date: 2012-06-14 12:17:09 Covariance and correlation Determinantal point process Covariance Combinatory logic Inverse function Variance Continuous function Metric Harris chain Statistics Mathematics Mathematical analysis
188	Completeness Theorems with Constructive Proofs for Finite Deterministic 2-Party Functions (full version) Daniel Kraschewski J¨orn M¨ Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2011-04-04 07:41:10 Communication Function Inverse function Information theory Bijection Combinatory logic Finitary relation Mathematics Functions and mappings Mathematical logic
189	CRITIQUE OF HIRSCH’S CITATION INDEX: A COMBINATORIAL FERMI PROBLEM ALEXANDER YONG 1. I NTRODUCTION 1.1. Overview. In 2005, physicist J. E. Hirsch [Hi05] proposed the h-index to measure the Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2014-10-13 15:23:48 Academic publishing Bibliometrics H-index Combinatorics Partition Enrico Fermi Durfee square Combinatory logic Enumerative combinatorics Mathematics Number theory Academia
190	Online Client-Server Load Balancing Without Global Information Baruch Awerbuch ∗ Mohammad T. Hajiaghayi † Abstract Add to Reading List Source URL: www.cs.jhu.edu Language: English - Date: 2007-10-09 11:18:46 Combinatorial optimization Maximum flow problem Network flow Matching Linear programming Combinatory logic Tree decomposition Theoretical computer science Mathematics Graph theory

UPDATE